Efficient design and evaluation of countermeasures against fault attacks using formal verification

This paper presents a formal verification framework and tool that evaluates the robustness of software countermeasures against fault-injection attacks. By modeling reference assembly code and its protected variant as automata, the framework can generate a set of equations for an SMT solver, the solutions of which represent possible attack paths. Using the tool we developed, we evaluated the robustness of state-of-the-art countermeasures against fault injection attacks. Based on insights gathered from this evaluation, we analyze any remaining weaknesses and propose applications of these countermeasures that are more robust

Effect of a nanocomposite containing ostrich eggshell on calvarium healing in the rabbit: a pathologic study

ΔΕΝ ΔΙΑΤΙΘΕΤΑΙ ΠΕΡΙΛΗΨΗThe aim of the current study was to determine effect of a nanocomposite containing ostrich eggshell (NCOE) on the calvarium healing in the rabbit. Fresh ostrich eggshell was ground (300-500 μm), treated in phosphate-containing solutions and sterilized by gamma irradiation. Fifteen New Zealand white adult male rabbits were used. Four full-thickness skull defects were created in the calvarium. The first defect kept unfilled (control). The second defect was filled with autograft bone. The third defect was filled using NCOE. The fourth defect was filled with mixture of the autograft+NCOE bone. At 30, 60 and 90 days after surgery animals were euthanized and tissue specimens were collected and stained with hematoxylin eosin and trichrome staining method. Microsections were examined toassess the extent and intensity of inflammation, calvarium formation status and foreign body reaction. According to the results, filling defect significantly increased in NCOE-treated rabbits compared to the control group at 30 and 60 days post-surgery (P<0.05). There a statistically significant difference between experimental groups compared to the control group at 30 and 60 days post-surgery (P<0.05) while no statistically significant differences were observed among autograft, NCOE, autograft+NCOE (P>0.05). Also, absorb material significantly decreased in NCOE and autograft+NCOE groups compared to the control group at 60 days post-surgery (P<0.05). The filling defect significantly increased in autograft, NCOE and NCOE+autograft groups compared to the control group at 90 days post-surgery (P<0.05). There was no significant difference on inflammation and absorb material among the groups at 90 days post-surgery (P>0.05). These results suggested NCOE+autograft has improved the rate of calvarium healing in rabbits

The Development of an Empirical Model for Estimation of the Sensitivity to Heat Stress in the Outdoor Workers at Risk

Background: Workers who work in hot environments may be at risk for heat stress. Exposure to heat can result in occupational illnesses, including heat stroke, heat cramps, and heat exhaustion. The risk of exposure to heat depends on individual, environmental, and occupational risk factors. Individual risk factors may decrease the individual’s tolerance to heat stress. Sensitivity as an intrinsic factor may predispose a person to heat stress. Aim: This study was aimed to determine the criteria for sensitivity parameter, specify their weights using the fuzzy Delphi-analytical hierarchy, and finally providing a model to estimate sensitivity. The significant of the study is presenting a model to estimate the sensitivity to heat stress. Materials and Methods: The expert’s opinions were used to extract the criteria in Delphi method. After determining the weight of each criterion, Fuzzy analytic hierarchy Process (FAHP), by mathematical principles matrix and triangular fuzzy numbers, was applied for the prioritization of criteria. Results: According to experts’ viewpoints and considering some exclusion, 10 of 36 criteria were selected. Among 10 selected criteria, age had the highest percentage of responses (90% (27/30)) and its relative weight was 0.063. After age, the highest percentages of response were assigned to the factors of preexisting disease (66.6% (20/30)), body mass index (56.6% (17/30)), work experience (53.3% (16/30)), and clothing (40% (16/30)), respectively. Other effective criteria on sensitivity were metabolic rate, daily water consumption, smoking habits, drugs that interfere with the thermoregulatory processes, and exposure to other harmful agents. Conclusions: Eventually, based on the criteria, a model for estimation of the workers’ sensitivity to heat stress was presented for the first time, by which the sensitivity is estimated in percent.Keywords: Heat stress, Sensitivity, Personal factors, Fuzzy AH

Resilience Assessment in Urban Water Infrastructure: A Critical Review of Approaches, Strategies and Applications

Urban water infrastructure (UWI) comprises the main systems, including water supply systems (WSS), urban drainage/stormwater systems (UDS) and wastewater systems (WWS). The UWI needs to be resilient to a wide range of shocks and stresses, including structural failures such as pipe breakage and pump breakdown and functional failures such as unmet water demand/quality, flooding and combined sewer overflows. However, there is no general consensus about the resilience assessment of these systems widely presented by various research works. This study aims to critically review the approaches, strategies and applications of the resilience assessment for the complex systems in UWI. This review includes examining bibliometric analysis, developed frameworks related to resilience assessment to help comprehend resilience concepts for the specified UWI systems in urban settings, strategies for improving resilience, resilience indicators and common tools used for modelling resilience assessment in UWI. The results indicate that resilience assessment has primarily been conducted in developed countries, underscoring the macroeconomic significance of UWI. Three key areas have been identified for analysing resilience in UWI: system design, development of resilience concepts and implementation of green infrastructure. Moreover, it has been discovered that although resilience is commonly defined using technical approaches, a more comprehensive understanding of resilience can be gained through a holistic approach. Furthermore, while strategies such as system upgrades, decentralisation, digitalisation and nature-based solutions can enhance UWI resilience, they may be insufficient to fulfil all resilience indicators. To address the challenge of effectively comparing different resilience options, it is crucial to extensively examine comprehensive and sustainability-based indicators in future research

Animal based low carbohydrate diet is associated with increased risk of type 2 diabetes in Tehranian adults

Background: To investigate the association of low carbohydrate diet (LCD) score with the risk of type 2 diabetes among adults. Methods: This cohort study was conducted on 4356 healthy participants aged � 19 years old, who were followed-up for a mean duration of 3 years within the framework of the Tehran Lipid and Glucose Study. LCD score was calculated using a food frequency questionnaire according to intake of carbohydrate, protein, and fat at baseline. Diabetes was defined according to the criteria of the American Diabetes Association. Multivariable logistic regression models, adjusted for potential confounders, were used to estimate risk of diabetes across quartiles of LCD score. Results: Mean ± SD age of the study participants (44.4 men) was 40.5 ± 13.0 years. The median (25-75 interquartile range) of LCD score was 17.0 (12.0-21.0) and after a 3 year follow-up period, 123 (2.8) incident cases of diabetes were ascertained. After adjustment for confounding variables, including age, sex, smoking status, physical activity, total calorie intake, saturated fatty acid, waist circumference, educational level, and family history of diabetes, the multivariable-adjusted ORs (95 CIs) of type 2 diabetes, comparing the highest with the lowest quartiles, were 2.16 (1.16-4.04) for total LCD score (P-value = 0.015), 1.81 (1.06-3.11) for animal-based LCD score (P-value = 0.029), and 1.47 (0.85-2.52) for plant-based LCD score (P-value = 0.160). Conclusion: Our findings suggest that a higher adherence to LCD, mostly with higher intakes of protein and fat from animal-source foods, can increase the incidence of diabetes; however, a plant-based low-carbohydrate dietary pattern is not significantly associated with risk of type 2 diabetes. © 2020 The Author(s)

Exposure to heat stress in the workplace: A systematic review

Background and aims: Working in hot environments is one of the common physical risks factor in the workplace, which can also cause heat-related illnesses and various health effects on workers, and also increasing the risk of injuries and occupational accidents. The purpose of this paper is review conducted studies about heat stress in different countries, investigation the indices of heat stress, the characteristics of the exposure in hot environments, high-risk occupations, and sutvey the status and importance of these studies. Methods: In this review study used Web of Science, Scopus, Pubmed, ScienceDirect, Iran Medex, Magiran, Google Scholar and SID databases. The keywordsincluded Heat stress, Heat strain, Heat exposure, Heat waves, Workplace, Knowledge and attitude of workers about heat stress, the period of 2000 to 2015 was investigated, and finally 103 original articles were identifed. Results: 90 of all study being cross-sectional studies, 41 being related to outdoor workplaces, and 42 being related to indoor environment. 19 studies were about perceptions and behavioural responses of exposure to heat stress.A range of heat indices were used with 60 (71) studies using Wet Bulb Globe Temperature Index (WBGT). Most of studied focused on manufacturing workers and farmers. Most of studies indicated that workers were suffering from heat stress and strain. Conclusion: The results of reviewed studies showed that stress in workplace is worrying due to the nature of the working processes both indoor and outdoor, and of climate change. Therefore it is necessary to considering preventive and control programs to reduce the heat stress by the management and staff's participation to eliminate or reduce its lethal effects. © 2018 JTehran University of Medical Sciences and Health Services. All rights reserved

Discovery and genotyping of novel sequence insertions in many sequenced individuals

Motivation: Despite recent advances in algorithms design to characterize structural variation using high-throughput short read sequencing (HTS) data, characterization of novel sequence insertions longer than the average read length remains a challenging task. This is mainly due to both computational difficulties and the complexities imposed by genomic repeats in generating reliable assemblies to accurately detect both the sequence content and the exact location of such insertions. Additionally, de novo genome assembly algorithms typically require a very high depth of coverage, which may be a limiting factor for most genome studies. Therefore, characterization of novel sequence insertions is not a routine part of most sequencing projects. There are only a handful of algorithms that are specifically developed for novel sequence insertion discovery that can bypass the need for the whole genome de novo assembly. Still, most such algorithms rely on high depth of coverage, and to our knowledge there is only one method (PopIns) that can use multi-sample data to "collectively" obtain a very high coverage dataset to accurately find insertions common in a given population. Result: Here, we present Pamir, a new algorithm to efficiently and accurately discover and genotype novel sequence insertions using either single or multiple genome sequencing datasets. Pamir is able to detect breakpoint locations of the insertions and calculate their zygosity (i.e. heterozygous versus homozygous) by analyzing multiple sequence signatures, matching one-end-anchored sequences to small-scale de novo assemblies of unmapped reads, and conducting strand-aware local assembly. We test the efficacy of Pamir on both simulated and real data, and demonstrate its potential use in accurate and routine identification of novel sequence insertions in genome projects. © 2017 The Author. Published by Oxford University Press. All rights reserved